https://mag.anardoni.com/make-desktop-shortcuts-on-mac/